#!/bin/bash
set -e
set -x
MYDIR="${0%/*}"
cd "$MYDIR/.."
source "recipes/common.sh"


# RECIPE START gmp

reset_mtime gmp gmp/configure.ac
mkdir -p build/gmp
cd build/gmp
../../gmp/configure \
	${CONFIGURE_ARGS} \
	${AUTOCRAP_KLUDGE}

cd ../..
make_build build/gmp

# RECIPE END gmp
